Nuprl Definition : l_contains
0,22
postcript
pdf
l_contains(
T
;
A
;
B
) ==
a
A
. (
a
B
)
latex
clarification:
l_contains(
T
;
A
;
B
) == l_all(
A
;
T
;
a
.(
a
B
T
))
latex
Definitions
x
L
.
P
(
x
)
,
(
x
l
)
FDL editor aliases
l_contains
origin
a
A. (a B)
B T)) aA. (a B)
B T)) xL. P(x) l)